The Continuous π-Calculus: A Process Algebra for Biochemical Modelling
نویسندگان
چکیده
3 The continuous π-calculus 5 3.
منابع مشابه
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling
We introduce the continuous π-calculus, a process algebra for modelling behaviour and variation in molecular systems. Key features of the language are: its expressive succinctness; support for diverse interaction between agents via a flexible network of molecular affinities; and operational semantics for a continuous space of processes. This compositional semantics also gives a modular way to g...
متن کاملA formal computational framework for the study of molecular evolution
Over the past 10 years, multiple executable modelling formalisms for molecular biology have been developed in order to address the growing need for a system-level understanding of complex biological phenomena. An important class of these formalisms are biology-inspired process algebras, which offer—among other desirable properties—an almost complete separation of model specification (syntax) fr...
متن کاملTuning Temporal Features within the Stochastic π-Calculus
The stochastic π-calculus is a formalism that have been shown of interest for modelling systems where the stochasticity and the delay of transitions are important features, such as the biochemical reactions. Commonly, duration of transitions within stochastic π-calculus models follow an exponential random variable. Underlying dynamics of such distributed models are expressed in terms of continu...
متن کاملStochastic Process Algebra Models of a Circadian Clock
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques from different modelling paradigms, PEPA and stochastic π-calculus.
متن کاملStochastic Modelling of the Kai-based Circadian Clock
We present two process algebra models of a Kai-protein based circadian clock. Our models are represented in the Bio-PEPA and the continuous pi-calculus process algebras. The circadian clock is not based on transcription and has been shown to persist with a rhythmic signal when removed from a living cell. Our models allow us to speculate as to the mechanisms which allow for the rhythmic signals....
متن کامل